Integrand size = 27, antiderivative size = 61 \[ \int \sec (e+f x) (a+b \sec (e+f x)) (c+d \sec (e+f x)) \, dx=\frac {(2 a c+b d) \text {arctanh}(\sin (e+f x))}{2 f}+\frac {(b c+a d) \tan (e+f x)}{f}+\frac {b d \sec (e+f x) \tan (e+f x)}{2 f} \]
[Out]
Time = 0.08 (sec) , antiderivative size = 61, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.185, Rules used = {4082, 3872, 3855, 3852, 8} \[ \int \sec (e+f x) (a+b \sec (e+f x)) (c+d \sec (e+f x)) \, dx=\frac {(2 a c+b d) \text {arctanh}(\sin (e+f x))}{2 f}+\frac {(a d+b c) \tan (e+f x)}{f}+\frac {b d \tan (e+f x) \sec (e+f x)}{2 f} \]
[In]
[Out]
Rule 8
Rule 3852
Rule 3855
Rule 3872
Rule 4082
Rubi steps \begin{align*} \text {integral}& = \frac {b d \sec (e+f x) \tan (e+f x)}{2 f}+\frac {1}{2} \int \sec (e+f x) (2 a c+b d+2 (b c+a d) \sec (e+f x)) \, dx \\ & = \frac {b d \sec (e+f x) \tan (e+f x)}{2 f}+(b c+a d) \int \sec ^2(e+f x) \, dx+\frac {1}{2} (2 a c+b d) \int \sec (e+f x) \, dx \\ & = \frac {(2 a c+b d) \text {arctanh}(\sin (e+f x))}{2 f}+\frac {b d \sec (e+f x) \tan (e+f x)}{2 f}-\frac {(b c+a d) \text {Subst}(\int 1 \, dx,x,-\tan (e+f x))}{f} \\ & = \frac {(2 a c+b d) \text {arctanh}(\sin (e+f x))}{2 f}+\frac {(b c+a d) \tan (e+f x)}{f}+\frac {b d \sec (e+f x) \tan (e+f x)}{2 f} \\ \end{align*}
Time = 0.02 (sec) , antiderivative size = 75, normalized size of antiderivative = 1.23 \[ \int \sec (e+f x) (a+b \sec (e+f x)) (c+d \sec (e+f x)) \, dx=\frac {a c \text {arctanh}(\sin (e+f x))}{f}+\frac {b d \text {arctanh}(\sin (e+f x))}{2 f}+\frac {b c \tan (e+f x)}{f}+\frac {a d \tan (e+f x)}{f}+\frac {b d \sec (e+f x) \tan (e+f x)}{2 f} \]
[In]
[Out]
Time = 2.28 (sec) , antiderivative size = 75, normalized size of antiderivative = 1.23
method | result | size |
derivativedivides | \(\frac {a c \ln \left (\sec \left (f x +e \right )+\tan \left (f x +e \right )\right )+a d \tan \left (f x +e \right )+b c \tan \left (f x +e \right )+b d \left (\frac {\sec \left (f x +e \right ) \tan \left (f x +e \right )}{2}+\frac {\ln \left (\sec \left (f x +e \right )+\tan \left (f x +e \right )\right )}{2}\right )}{f}\) | \(75\) |
default | \(\frac {a c \ln \left (\sec \left (f x +e \right )+\tan \left (f x +e \right )\right )+a d \tan \left (f x +e \right )+b c \tan \left (f x +e \right )+b d \left (\frac {\sec \left (f x +e \right ) \tan \left (f x +e \right )}{2}+\frac {\ln \left (\sec \left (f x +e \right )+\tan \left (f x +e \right )\right )}{2}\right )}{f}\) | \(75\) |
parts | \(\frac {\left (a d +b c \right ) \tan \left (f x +e \right )}{f}+\frac {a c \ln \left (\sec \left (f x +e \right )+\tan \left (f x +e \right )\right )}{f}+\frac {b d \left (\frac {\sec \left (f x +e \right ) \tan \left (f x +e \right )}{2}+\frac {\ln \left (\sec \left (f x +e \right )+\tan \left (f x +e \right )\right )}{2}\right )}{f}\) | \(76\) |
parallelrisch | \(\frac {-\left (a c +\frac {b d}{2}\right ) \left (1+\cos \left (2 f x +2 e \right )\right ) \ln \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )+\left (a c +\frac {b d}{2}\right ) \left (1+\cos \left (2 f x +2 e \right )\right ) \ln \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )+\left (a d +b c \right ) \sin \left (2 f x +2 e \right )+\sin \left (f x +e \right ) b d}{f \left (1+\cos \left (2 f x +2 e \right )\right )}\) | \(110\) |
norman | \(\frac {\frac {\left (2 a d +2 b c +b d \right ) \tan \left (\frac {f x}{2}+\frac {e}{2}\right )}{f}-\frac {\left (2 a d +2 b c -b d \right ) \tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{3}}{f}}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )^{2}-1\right )^{2}}-\frac {\left (2 a c +b d \right ) \ln \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )}{2 f}+\frac {\left (2 a c +b d \right ) \ln \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )+1\right )}{2 f}\) | \(123\) |
risch | \(-\frac {i \left (b d \,{\mathrm e}^{3 i \left (f x +e \right )}-2 a d \,{\mathrm e}^{2 i \left (f x +e \right )}-2 b c \,{\mathrm e}^{2 i \left (f x +e \right )}-b d \,{\mathrm e}^{i \left (f x +e \right )}-2 a d -2 b c \right )}{f \left (1+{\mathrm e}^{2 i \left (f x +e \right )}\right )^{2}}-\frac {a c \ln \left ({\mathrm e}^{i \left (f x +e \right )}-i\right )}{f}-\frac {\ln \left ({\mathrm e}^{i \left (f x +e \right )}-i\right ) b d}{2 f}+\frac {a c \ln \left ({\mathrm e}^{i \left (f x +e \right )}+i\right )}{f}+\frac {\ln \left ({\mathrm e}^{i \left (f x +e \right )}+i\right ) b d}{2 f}\) | \(160\) |
[In]
[Out]
none
Time = 0.29 (sec) , antiderivative size = 96, normalized size of antiderivative = 1.57 \[ \int \sec (e+f x) (a+b \sec (e+f x)) (c+d \sec (e+f x)) \, dx=\frac {{\left (2 \, a c + b d\right )} \cos \left (f x + e\right )^{2} \log \left (\sin \left (f x + e\right ) + 1\right ) - {\left (2 \, a c + b d\right )} \cos \left (f x + e\right )^{2} \log \left (-\sin \left (f x + e\right ) + 1\right ) + 2 \, {\left (b d + 2 \, {\left (b c + a d\right )} \cos \left (f x + e\right )\right )} \sin \left (f x + e\right )}{4 \, f \cos \left (f x + e\right )^{2}} \]
[In]
[Out]
\[ \int \sec (e+f x) (a+b \sec (e+f x)) (c+d \sec (e+f x)) \, dx=\int \left (a + b \sec {\left (e + f x \right )}\right ) \left (c + d \sec {\left (e + f x \right )}\right ) \sec {\left (e + f x \right )}\, dx \]
[In]
[Out]
none
Time = 0.23 (sec) , antiderivative size = 88, normalized size of antiderivative = 1.44 \[ \int \sec (e+f x) (a+b \sec (e+f x)) (c+d \sec (e+f x)) \, dx=-\frac {b d {\left (\frac {2 \, \sin \left (f x + e\right )}{\sin \left (f x + e\right )^{2} - 1} - \log \left (\sin \left (f x + e\right ) + 1\right ) + \log \left (\sin \left (f x + e\right ) - 1\right )\right )} - 4 \, a c \log \left (\sec \left (f x + e\right ) + \tan \left (f x + e\right )\right ) - 4 \, b c \tan \left (f x + e\right ) - 4 \, a d \tan \left (f x + e\right )}{4 \, f} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 153 vs. \(2 (57) = 114\).
Time = 0.31 (sec) , antiderivative size = 153, normalized size of antiderivative = 2.51 \[ \int \sec (e+f x) (a+b \sec (e+f x)) (c+d \sec (e+f x)) \, dx=\frac {{\left (2 \, a c + b d\right )} \log \left ({\left | \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 1 \right |}\right ) - {\left (2 \, a c + b d\right )} \log \left ({\left | \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 1 \right |}\right ) - \frac {2 \, {\left (2 \, b c \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 2 \, a d \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - b d \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 2 \, b c \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 2 \, a d \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - b d \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )}}{{\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - 1\right )}^{2}}}{2 \, f} \]
[In]
[Out]
Time = 14.56 (sec) , antiderivative size = 104, normalized size of antiderivative = 1.70 \[ \int \sec (e+f x) (a+b \sec (e+f x)) (c+d \sec (e+f x)) \, dx=\frac {\mathrm {atanh}\left (\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )\right )\,\left (2\,a\,c+b\,d\right )}{f}+\frac {\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )\,\left (2\,a\,d+2\,b\,c+b\,d\right )-{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^3\,\left (2\,a\,d+2\,b\,c-b\,d\right )}{f\,\left ({\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^4-2\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^2+1\right )} \]
[In]
[Out]